#ifndef INFO_H
#define INFO_H

#include "core_conf.h"

extern struct core_conf core_conf;

extern void sklcc_dpi_platform_info();
extern void print_config(void);

#endif
